.ace_repl_button {
    border: 1px solid lightgray;
    color: lightcoral;
    display: inline-block;
    margin: -1px 8px;
    padding: 0 5px;
    pointer-events: auto;
    cursor: pointer
}
.ace_repl_button:hover {
    border: 1px solid gray;
    background: rgba(200,200,200,0.2);
    display: inline-block;
    pointer-events: auto;
}
.ace_prompt{
	background:rgba(120,50,100,0.1);
	color: darkred;
    margin: 0 0 0 -4px;
    padding: 0 0 0 4px;
}
.ace_repl-output {    
    color: rgb(43, 32, 179);
}


.ace_gutter-cell.repl_prompt:after {
    color: rgb(215, 135, 31);
    content: "/>";
    display: inline-block;
    font-weight: bold;
    font-size: 1.1em;
    padding-right: 6px;
    position: absolute;
    right: 6px;
    margin-top: -2px;
}
.ace_gutter-cell.repl_prompt {
    padding-left: 1px;
}
.ace_gutter-cell.repl_output:after {
    color: rgb(66, 177, 8);
    content: "=>";
    display: inline-block;
    font-weight: bold;
    font-size: 1.1em;
    padding-right: 6px;
    position: absolute;
    right: 6px;
    margin-top: -2px;
}
.ace_gutter-cell.repl_output {
    color: transparent;
}

.ace_gutter-cell.repl_output.waiting:after {
    background: url("") no-repeat scroll 0 0 transparent;
    height: 17px;
    right: 9px;
    width: 16px;
    content: "";
}
.ace_dark .ace_gutter-cell.repl_output.waiting:after {
    background-image: url()
}
.ace_gutter-cell.repl_nonum {
    color: transparent;
}
.ace_gutter-cell.repl_dots:after {
    color: rgb(66, 8, 177);
    content: "..";
    display: inline-block;
    font-weight: bold;
    font-size: 1.1em;
    padding-right: 6px;
    position: absolute;
    right: 6px;
    margin-top: -2px;
}
.ace_dark .ace_gutter-cell.repl_dots:after {
    color: rgb(129, 117, 190)
}
.ace_gutter-cell.repl_dots {
    color: transparent;
}

.repl_lineWidgetContainer {
    z-index: 5;
    position: absolute;
    background: rgba(247, 247, 247, 0.59);
    border: 1px solid rgb(128, 128, 128);
    //box-shadow: 0 0px 4px rgb(128, 128, 128) inset;    
}
.repl_lineWidgetContainer:before {
    content: "";
    top:0;
    background-image: linear-gradient(to bottom, rgba(0, 0, 0, 0.1), transparent);
    height: 4px;
    width: 100%;
    position: absolute;
}
.repl_lineWidgetContainer:after {
    content: "";
    bottom:0;
    background-image: linear-gradient(to top, rgba(0, 0, 0, 0.1), transparent);
    height: 4px;
    width: 100%;
    position: absolute;

}

.ace_repl_error{
    color: rgb(245, 12, 12);
}

.ace_repl_warning{
    color: #d65e0d;
}